Graph coloring - PDFSEARCH.IO - Document Search Engine

Graph coloring
Results: 948

#	Item
551	Exact DFA Identification Using SAT Solvers Marijn J.H. Heule1, and Sicco Verwer2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:36:36 Automata theory NP-complete problems Graph coloring Graph theory Boolean satisfiability problem Deterministic finite automaton Clique DFA Records Powerset construction Theoretical computer science Mathematics Applied mathematics
552	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
553	Microsoft Word[removed]2nd-edition-version-cc.docx Add to Reading List Source URL: wiresharkbook.com Language: English - Date: 2013-02-08 13:48:08 Wireshark Transmission Control Protocol Software Graph coloring GTK+
554	Worksheet for Exploration 5.6: Air Friction Two identical balls are dropped. The one on the left is in a resistive medium represented by varying shades of blue. The resistive force is represented as b vn, where b is a co Add to Reading List Source URL: www.compadre.org Language: English - Date: 2013-05-21 23:32:17 Velocity Graph coloring Graph drawing Graph theory Mathematics Graph
555	Finding Adam in random growing trees S´ebastien Bubeck ∗ Luc Devroye Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2014-11-13 00:16:29 Tree Graph coloring NP-complete problems Euclidean algorithm Graph theory Mathematics Theoretical computer science
556	New Linear-Time Algorithms for Edge-Coloring Planar Graphs Richard Cole ∗ Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2008-01-16 14:31:30 Four color theorem Planar graph Graph Cubic graph Line graph Acyclic coloring Graph theory Graph coloring Edge coloring
557	Graph Coloring with Quantum Heuristics Alex Fabrikant Tad Hogg EECS Dept., UC Berkeley Add to Reading List Source URL: alex.fabrikant.us Language: English - Date: 2010-01-07 19:33:22 NP-complete problems Search algorithms Graph coloring Routing algorithms Quantum algorithm Heuristic function A* search algorithm Algorithm Travelling salesman problem Theoretical computer science Mathematics Applied mathematics
558	FOUR-COLORING SIX-REGULAR GRAPHS ON THE TORUS KAREN L. COLLINS AND JOAN P. HUTCHINSON Dedicated to Herbert S. Wilf in honor of his 65th birthday, and to Phyllis Cassidy in honor of her retirement from Smith College. Add to Reading List Source URL: kcollins.web.wesleyan.edu Language: English - Date: 2000-08-14 13:08:22 Graph Neighbourhood Edge coloring Graph theory Graph coloring Planar graph
559	TOM BOHMAN, Carnegie Mellon University, Department of Mathematical Sciences Anti-Ramsey Thresholds We call an edge-coloring of a graph a k-coloring if it uses no more than k colors and k-bounded if it uses no color more Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-10 21:18:19 Graph coloring Conjectures Combinatorics Probabilistic method Edge coloring Graph theory Mathematics Theoretical computer science
560	To be published at the International Semantic Web Conference (ISWC[removed]The framework will be available for download on November 5, 2010. Signal/Collect: Graph Algorithms for the (Semantic) Web Philip Stutz1 , Abraham Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-09-20 15:08:34 Graph coloring Shortest path problem Factor graph Algorithm Vertex Distance Floyd–Warshall algorithm Path decomposition Graph theory Mathematics Theoretical computer science

UPDATE